#research infrastructure

Terence Tao says AI drives idea generation cost to near zero but shifts the bottleneck to verification

Terence Tao compares AI's impact on mathematics to the automobile's effect on cities, noting that while AI lowers the cost of idea generation, it shifts the bottleneck to verification. This transformation requires new infrastructure and methodologies.